Exploring Type Containment
ثبت نشده
چکیده
Our goal is to study type containment, some variations on the type-containment relation, and how it can be extended to other programming language features such as products, side effects, existential types. We will study some language meta-theoretical properties. Notre but est d’étudier le type containment, quelques variantes sur la relation de type containment, et comment elle peut être étendue à d’autres constructions des langages de programmation comme les produits, les effets de bord, les types existentiels. Nous étudierons aussi quelques propriétés de la méta-théorie du langage.
منابع مشابه
Exploring Type Containment
Our goal is to study type containment, some variations on the type-containment relation, and how it can be extended to other programming language features such as products, side effects, existential types. We will study some language meta-theoretical properties. Notre but est d’étudier le type containment, quelques variantes sur la relation de type containment, et comment elle peut être étendue...
متن کاملA Cyber Science Based Ontology for Artificial General Intelligence Containment
The development of artificial general intelligence is considered by many to be inevitable. What such intelligence does after becoming aware is not so certain. To that end, research suggests that the likelihood of artificial general intelligence becoming hostile to humans is significant enough to warrant inquiry into methods to limit such potential. Thus, containment of artificial general intell...
متن کاملVisual perception involves event-type representations: The case of containment versus occlusion.
Recent infant cognition research suggests that core knowledge involves event-type representations: During perception, the mind automatically categorizes physical events into broad types (e.g., occlusion and containment), which then guide attention to different properties (e.g., with width processed at a younger age than height in containment events but not occlusion events). We tested whether t...
متن کاملA Theoretical and Experimental Comparison of Algorithms for the Containment of Conjunctive Queries with Negation
We tackle the containment problem for conjunctive queries with negation, which takes two queries q1 and q2 as input and asks if q1 is contained in q2. A general approach for solving this problem consists of considering all completions of q1 (intuitively these completions represent all canonical databases that satisfy q1) and checking if each completion yields the same answer on q2. Since the to...
متن کاملContainment control of multi-agent systems with measurement noises
In this paper, containment control of multi-agent systems with measurement noises is studied under directed networks. When the leaders are stationary, a stochastic approximation type protocol is employed to solve the containment control of multi-agent systems. By using stochastic analysis tools and algebraic graph theory, some necessary and sufficient criteria are established to ensure the foll...
متن کامل